Eiterer, B.V.B.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Answer set programming at a glance

Brewka, Gerhard, Eiter, Thomas, Truszczyński, Mirosław

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 4.04 MB

english, 2011

2

Pruning external minimality checking for answer set programs using semantic dependencies

Eiter, Thomas, Kaminski, Tobias

Journal:

Artificial Intelligence

Year:

2021

File:

PDF, 34 KB

2021

3

Complexity results for explanations in the structural-model approach

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2004

Language:

english

File:

PDF, 595 KB

english, 2004

4

Causes and explanations in the structural-model approach: Tractable cases

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 547 KB

english, 2006

5

Enhancing context knowledge repositories with justifiable exceptions

Bozzato, Loris, Eiter, Thomas, Serafini, Luciano

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.68 MB

english, 2018

6

LARS: A Logic-based framework for Analytic Reasoning over Streams

Beck, Harald, Dao-Tran, Minh, Eiter, Thomas

Journal:

Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

7

An efficient method for eliminating varying predicates from a circumscription

Marco Cadoli, Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 641 KB

english, 1992

8

Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Chitta Baral, Thomas Eiter, Marcus Bjäreland, Mutsumi Nakamura

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 854 KB

english, 2008

9

Identifying the Minimal Transversals of a Hypergraph and Related Problems

Eiter, Thomas, Gottlob, Georg

Journal:

SIAM Journal on Computing

Year:

1995

Language:

english

File:

PDF, 3.70 MB

english, 1995

10

FLP answer set semantics without circular justifications for general logic programs

Shen, Yi-Dong, Wang, Kewen, Eiter, Thomas, Fink, Michael, Redl, Christoph, Krennwallner, Thomas, Deng, Jun

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 758 KB

english, 2014

11

Moral judgment and the development of real and ideal androgynous self-image during adolescence and young adulthood.

Leahy, Robert L., Eiter, Marie

Journal:

Developmental Psychology

Year:

1980

Language:

english

File:

PDF, 782 KB

english, 1980

12

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 ||

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 11.40 MB

english, 2017

13

Estimates of Time-Periodic Fundamental Solutions to the Linearized Navier–Stokes Equations

Eiter, Thomas, Kyed, Mads

Journal:

Journal of Mathematical Fluid Mechanics

Year:

2017

Language:

english

File:

PDF, 546 KB

english, 2017

14

A Distributed Approach to LARS Stream Reasoning (System paper)

EITER, THOMAS, OGRIS, PAUL, SCHEKOTIHIN, KONSTANTIN

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 728 KB

english, 2019

15

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Thomas Eiter, Georg Gottlob

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.36 MB

english, 1992

16

Propositional circumscription and extended closed-world reasoning are ΠP2-complete: Theoretical computer science 114(2) (21 June 1993) 231–245

Thomas Eiter, Georg Gottlob

Journal:

Theoretical Computer Science

Year:

1993

File:

PDF, 34 KB

1993

17

Updating action domain descriptions

Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

18

Semantic forgetting in answer set programming

Thomas Eiter, Kewen Wang

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 459 KB

english, 2008

19

Combining answer set programming with description logics for the Semantic Web

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits

Journal:

Artificial Intelligence

Year:

2008

Language:

english

File:

PDF, 759 KB

english, 2008

20

Default reasoning from conditional knowledge bases: Complexity and tractable cases

Thomas Eiter, Thomas Lukasiewicz

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 625 KB

english, 2000

21

A logic programming approach to knowledge-state planning, II: The DLVK system

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

Journal:

Artificial Intelligence

Year:

2003

Language:

english

File:

PDF, 464 KB

english, 2003

22

Semantics and complexity of abduction from default theories

Thomas Eiter, Georg Gottlob, Nicola Leone

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 3.38 MB

english, 1997

23

Heterogeneous active agents, II: Algorithms and complexity

Thomas Eiter, V.S. Subrahmanian

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

24

Heterogeneous active agents, I: Semantics

Thomas Eiter, V.S. Subrahmanian, George Pick

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 1.24 MB

english, 1999

25

Preferred answer sets for extended logic programs

Gerhard Brewka, Thomas Eiter

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 442 KB

english, 1999

26

Computing intersections of Horn theories for reasoning with models

Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 362 KB

english, 1999

27

Distance measures for point sets and their computation

Thomas Eiter, Heikki Mannila

Journal:

Acta Informatica

Year:

1997

Language:

english

File:

PDF, 307 KB

english, 1997

28

Enhancing model checking in verification by AI techniques

Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 421 KB

english, 1999

29

Heterogeneous active agents, III: Polynomially implementable agents

Thomas Eiter, V.S. Subrahmanian, T.J. Rogers

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 1.13 MB

english, 2000

30

Rhetoric and Reporting of Public Participation in Landscape Policy

Conrad, Elisabeth, F. Cassar, Louis, Jones, Michael, Eiter, Sebastian, Izaovičová, Zita, Barankova, Zuzana, Christie, Mike, Fazey, Ioan

Journal:

Journal of Environmental Policy and Planning

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

31

Finding explanations of inconsistency in multi-context systems

Eiter, Thomas, Fink, Michael, Schüller, Peter, Weinzierl, Antonius

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.36 MB

english, 2014

32

[IEEE 2006 International Conference on Image Processing - Atlanta Marriott Marquis, Atlanta, GA, USA (2006.10.8-2006.10.11)] 2006 International Conference on Image Processing - A Distance-Based Method for the Evaluation of Interest point Detection Algorithms

Reiterer, Alexander, Eiter, Thomas

Year:

2006

Language:

english

File:

PDF, 4.94 MB

english, 2006

33

The complexity of logic-based abduction

Eiter, Thomas, Gottlob, Georg

Journal:

Journal of the ACM

Year:

1995

Language:

english

File:

PDF, 2.88 MB

english, 1995

34

Disjunctive datalog

Eiter, Thomas, Gottlob, Georg, Mannila, Heikki

Journal:

ACM Transactions on Database Systems

Year:

1997

Language:

english

File:

PDF, 631 KB

english, 1997

35

A logic programming approach to knowledge-state planning

Eiter, Thomas, Faber, Wolfgang, Leone, Nicola, Pfeifer, Gerald, Polleres, Axel

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 326 KB

english, 2004

36

The DLV system for knowledge representation and reasoning

Leone, Nicola, Pfeifer, Gerald, Faber, Wolfgang, Eiter, Thomas, Gottlob, Georg, Perri, Simona, Scarcello, Francesco

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 844 KB

english, 2006

37

Domain expansion for ASP-programs with external sources

Eiter, Thomas, Fink, Michael, Krennwallner, Thomas, Redl, Christoph

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

38

Semi-equilibrium models for paracoherent answer set programs

Amendola, Giovanni, Eiter, Thomas, Fink, Michael, Leone, Nicola, Moura, João

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.41 MB

english, 2016

39

On properties of update sequences based on causal rejection

EITER, THOMAS, FINK, MICHAEL, SABBATINI, GIULIANA, TOMPITS, HANS

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 626 KB

english, 2002

40

Evaluating epistemic negation in answer set programming

Shen, Yi-Dong, Eiter, Thomas

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 641 KB

english, 2016

41

Data repair of inconsistent nonmonotonic description logic programs

Eiter, Thomas, Fink, Michael, Stepanova, Daria

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.23 MB

english, 2016

42

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || Understanding Author Intentions: Test Driven Knowledge Graph Construction

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 1006 KB

english, 2017

43

[Lecture Notes in Computer Science] Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering Volume 9885 || From Fuzzy to Annotated Semantic Web Languages

Pan, Jeff Z., Calvanese, Diego, Eiter, Thomas, Horrocks, Ian, Kifer, Michael, Lin, Fangzhen, Zhao, Yuting

Year:

2017

Language:

english

File:

PDF, 741 KB

english, 2017

44

Energy-driven scheduling algorithm for nanosatellite energy harvesting maximization

Slongo, L.K., Martínez, S.V., Eiterer, B.V.B., Pereira, T.G., Bezerra, E.A., Paiva, K.V.

Journal:

Acta Astronautica

Year:

2018

Language:

english

File:

PDF, 2.08 MB

english, 2018

45

Volatilization of ammonia in stabilized slow-release nitrogen fertilizer under controlled conditions

Ribeiro, Vinícius José, Andrade, Felipe Vaz, de Souza, Carlos Henrique Eiterer, Mendonça, Eduardo Sá

Journal:

Australian Journal of Crop Science

Year:

2016

Language:

english

File:

PDF, 337 KB

english, 2016

46

Pre-flight qualification test procedure for nanosatellites using sounding rockets

Slongo, Leonardo Kessler, Reis, João Gabriel, Gaiki, Daniel, Von Hohendorff Seger, Pedro, Martínez, Sara Vega, Barbosa Eiterer, Bruno Vale, Pereira, Tulio Gomes, Neto, Mario Baldini, Frata, Matheus do

Journal:

Acta Astronautica

Year:

2019

Language:

english

File:

PDF, 9.67 MB

english, 2019

47

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning

KAMINSKI, TOBIAS, EITER, THOMAS, INOUE, KATSUMI

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

48

Answer Set Programming: An Introduction to the Special Issue

Brewka, Gerhard, Eiter, Thomas, Truszczynski, Miroslaw

Journal:

Year:

2016

File:

PDF, 421 KB

2016

49

Interdigitated aluminium and titanium sensors for assessing epithelial barrier functionality by electric cell-substrate impedance spectroscopy (ECIS)

Schmiedinger, Thomas, Partel, Stefan, Lechleitner, Thomas, Eiter, Oliver, Hekl, Daniel, Kaseman, Stephan, Lukas, Peter, Edlinger, Johannes, Lechner, Judith, Seppi, Thomas

Journal:

Biomedical Microdevices

Year:

2020

File:

PDF, 1.18 MB

2020

50

Nanosatellite electrical power system architectures: Models, simulations, and tests

Kessler Slongo, Leonardo, Vega MartÃnez, Sara, Vale Barbosa Eiterer, Bruno, Augusto Bezerra, Eduardo

Journal:

International Journal of Circuit Theory and Applications

Year:

2020

File:

PDF, 31.75 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски